Distributed Implementation of a Ccs-like Programming Language for Embedded Systems
نویسنده
چکیده
We introduce a programming language for embedded systems. The language is based on the process algebra pmc which like ccs has concurrent composition of processes and synchronous point-to-point communication. Determinism and distributability are desirable, but contradictory properties. The programming language therefore contains operators that allow for both local deterministic concurrency and global non-deterministic concurrency. We give a model for a class of distributed platforms, and give a translation of pmc programs into this model. Although the pmc language allows for a limited (but useful) form of mixed input and output guarded choice, the implementation uses an eecient protocol for implementing synchronous communication by asynchronous message passing. The implementation is shown to have the property of being locally deterministic and being able to detect real-time constraint violations. The translation does not introduce neither live-nor deadlocks.
منابع مشابه
ELROS - An Embedded Language for Remote Operations Service
We describe ELROS, an embedded language for programming distributed applications using remote operations (ISO 9072-1 and 9072-2). The motivation for this work is the development of both large scale scientific distributed applications as well as ISO application protocol implementations. We compare our work with other systems, such as ISODE and DAS, that support remote operations programming and ...
متن کاملSchedulers cannot be implemented in CCS - like languages even under progress and certain fairness assumptions
In the process algebra community it is sometimes suggested that, on some level of abstraction, any distributed system can be modelled in standard process-algebraic specification formalisms like CCS. This sentiment is strengthened by results testifying that CCS, like many similar formalisms, is Turing powerful and provides a mechanism for interaction. This paper counters that sentiment by presen...
متن کاملTransactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtrack mechanism. Any weakly correct implementation of a given transaction in CCS, once embedded in RCCS, automatically obtains a correct one. We show examples where this method allows for a more concise implementation a...
متن کاملUsing a Java Optimized Processor in a Real World Application
Java, a popular programming language on desktop systems, is rarely used in embedded systems. Some features of Java, like thread support in the language, could greatly simplify development of embedded systems, but the common implementations of the JVM (Java Virtual Machine), as interpreter or just-in-time compiler, are not practical. This paper describes an alternative approach: JOP (a Java Opti...
متن کاملPMC: A Programming Language for Embedded Systems
The process algebra pmc (Processes with Multiple Clocks) extends Milner's ccs with a notion of qualitative time called clocks. The algebra has been used for specifying industrial size case-studies. Based on the algebra pmc, we introduce a programming language (also named PMC) for embedded systems. The language features point-to-point communication, multi-synchronization, local deter-ministic pa...
متن کامل